航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

速率模式飞轮姿态控制系统飞轮组合平稳切换方法

对速率模式飞轮姿态控制系统的能控性、稳定性和飞轮组合切换过程进行了研究，揭示了在飞轮组合切换过程中引起卫星姿态抖动的原因，提出了通过对残余角动量进行卸载并将卸载函数同时前馈到系统输入的方法，以保持卫星姿态的稳定度。从理论上证明了可引入残余角动量进行卸载，将卸载函数同时前馈到系统输入，并且不改变原系统的能控性和稳定性。给出了某卫星飞轮切换应用实例，说明了飞轮组合平稳切换方法的有效性。     

一种基于模糊控制的平稳滑翔再入制导律

针对升力式高超声速飞行器(LHV)再入滑翔过程中的周期性振荡现象，提出了一种基于模糊推理与控制的反馈调节方法以抑制振荡实现平稳滑翔。纵向制导在落点误差预测及指令校正的基础上，在倾侧角外环控制回路增加以高度变化率及空速作为输入的模糊控制器对倾侧角指令进行调节，横侧向制导通过航向角误差走廊约束及倾侧角反转逻辑实现大横程条件下的侧向控制。所提方法不依赖于准平衡滑翔条件(QEGC)，同时避免了参数化反馈控制律中的反馈项参数设计问题，具有较强的自适应能力。LHV制导实例仿真表明，所提方法可有效抑制振荡现象，满足终端约束及再入走廊约束，方法的鲁棒性也通过Monte Carlo仿真得到了验证。      

基于ESO的高超声速飞行器解耦控制

针对高超声速飞行器三通道具有强耦合的问题，提出一种基于扩张状态观测器的全通道解耦控制方法。该方法不需要根据耦合项特点设计耦合补偿模型，而是通过设计扩张状态观测器，将高超声速飞行器耦合项视为扰动，利用扩张状态观测器具有实时跟踪估计扰动的能力，将耦合项扰动估计出来。通过补偿控制来消除耦合的影响，从而完成解耦控制。进一步，通过LQR控制方法完成姿态控制系统的闭环反馈控制律设计，最终实现一种工程上实用的高超声速飞行器解耦控制方法，并通过数学仿真验证了该控制方法的正确性和有效性。     

NiCrAl/Diatomite可磨耗封严涂层制备及性能

分别利用大气等离子喷涂技术制备了Ni/Al粘结底层、火焰喷涂技术制备了NiCrAl/Diatomite可磨耗封严涂层，研究了喷涂距离、送粉速率、火焰气体总流量、喷涂角度和氧燃比等喷涂参数对生长速率和涂层硬度的影响。结果表明，在较低的氧燃比条件下（O₂∶C₂H₂<1.6），随着喷涂距离的增大，涂层生长速率逐渐下降，硬度先保持不变后逐渐上升；当O₂∶C₂H₂>1.6时，涂层的生长速率会随着喷涂距离的增大先增大后减小，硬度随之逐渐下降。随着喷枪对基体相对移动速度的增大，涂层生长速率略微下降，硬度略有上升。气体总流量的增大使得涂层的生长速率明显上升，硬度明显下降。随着送粉量的增大，涂层生长速率明显提高，硬度随之先上升后下降。     

K8、JK8机翼接头与检验量规协调准确度的提高

分析了 K8、 JL8机翼接头孔精加加后与检验量规位置协调的条件，介绍了为提高它们之间协调准确度所采取的措施及其效果。     

晶体管h参数微变等效电路的研究

晶体管h参数微变等效电路是电子技术中求解低频、小信号放大电路常用的分析方法.本文通过具体分析,将模拟放大电路进行了新的分类,并且明确而系统地给出运用微变等效电路求解各类模拟放大电路动态指标Av、ri和γ0公式、解题难点及规律.     

一种卫星间跟瞄方向的控制策略与实现

进行自由空间的光通信或空间对抗，需要在卫星间实现精确的跟踪与瞄准。因为地面测控站的设置非常有限，指令与数据注入的范围受到很多限制，所以要求这种跟瞄在很多时候是无主控制状态下完成的。提出了一种利用在地面测控站的范围内向星上数管中心注入目标卫星、本体卫星的轨道参数，其它时间依靠自主导航飞行和GPS修正的方法，结合本体星的姿态测量、振动测量实现卫星瞄准指向的方位角与俯仰角的精确控制的方法，提高了在地面站无法注入指令与数据时卫星的捕获概率。通过仿真，将计算结果与卫星仿真工具软件STK的数据进行比较，结果一致。最后在嵌入式DSP平台上实现了这一策略。     

一个串行口Javabean的研究与设计

本文描述了一个基于JavaBean组件标准的串行通信组件的实现原理、实现过程以及实现方法。它将被作为C／S系统的一个组，以实现某些工业控制场合中远程控制的要求。充分利用了Java语言的事件监听机制、串行性、持久性、自检以及JavaBean的定制等特性，并经由Java本地接口（JNI－Java Native Interface)调用硬件控制等底层操作，具体实现了一个串行通信组件必需的功能，如初始化、读写操作等。在所需要的.DLL的支持下，所有安装了Java虚拟机的Windows系统都可以使用这个.Jar文件。     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。